case MessageType.progress:
			{
				const { numberOfLines, progress } = msg.body;
				if (progress.length === 0) {
					editor.removeBusyIndicators();
					break;
				}

				const at = progress[0].range.start.line + 1;
				if (at === numberOfLines) {
					editor.reportProgress(at, numberOfLines, "File verified");
				} else {
					editor.reportProgress(at, numberOfLines, `Verified file up to line: ${at}`);
				}
				break;
			}